Conjunctive query

Results: 182



#Item
41

Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas1 Pablo Barcel´o2 Juan Reutter3 1 Dept. of Computer Science, Pontificia Universidad Cat´olica de Chile

Add to Reading List

Source URL: users.dcc.uchile.cl

Language: English - Date: 2010-03-29 12:57:32
    42Model theory / Database theory / Conjunctive query / Modal logic / Null / Structure / Kripke semantics / FO / Closed world assumption / Logic / Mathematics / Mathematical logic

    When is Na¨ıve Evaluation Possible? Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo To cite this version: Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo. When is Na¨ıve Evaluation Possible?. PODS - 32n

    Add to Reading List

    Source URL: www.liafa.univ-paris-diderot.fr

    Language: English - Date: 2014-11-10 14:14:40
    43Database theory / Decomposition method / Theoretical computer science / Directed graph / Structure / Mathematical logic / Constraint programming / Mathematics / Conjunctive query

    Semantic Acyclicity on Graph Databases Pablo Barceló Miguel Romero Moshe Vardi

    Add to Reading List

    Source URL: users.dcc.uchile.cl

    Language: English - Date: 2013-04-07 12:16:44
    44Computer languages / Software engineering / Conjunctive query / Database theory / Datalog / RDF / SQL / FO / Query / Computing / Query languages / Data management

    Reasonable Highly Expressive Query Languages Pierre Bourhis† and Markus Krötzsch‡ and Sebastian Rudolph‡ † ‡ CNRS CRIStAL UMR 9189 Technische Universität Dresden, Germany

    Add to Reading List

    Source URL: ddll.inf.tu-dresden.de

    Language: English - Date: 2015-05-02 11:27:28
    45Applied mathematics / Datalog / Data integration / FO / Data / Inequality / Computational complexity theory / Algorithm / MAX-3SAT / Conjunctive query / Database theory / Mathematics

    Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas Pablo Barceló

    Add to Reading List

    Source URL: web.ing.puc.cl

    Language: English - Date: 2013-12-24 11:08:56
    46Applied mathematics / Datalog / Data integration / FO / Data / Inequality / Computational complexity theory / Algorithm / MAX-3SAT / Conjunctive query / Database theory / Mathematics

    Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas Pablo Barceló

    Add to Reading List

    Source URL: users.dcc.uchile.cl

    Language: English - Date: 2008-12-16 09:36:44
    47Formal languages / Rewriting / Mathematics / Information / Computer science / Conjunctive query / Database theory / Data integration

    GAV-sound with conjunctive queries • Source and global schema as before: ◦ source R1(A, B), R2(B, C) ◦ Global schema: T1(A, C), T2(B, C) • GAV mappings become sound:

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2008-10-21 09:17:48
    48Conjunctive query / Database theory / Theoretical computer science / Datalog / Data integration / SQL / FO / Algorithm / Expressive power / Data management / Query languages / Computing

    Theory Comput Syst DOIs00224Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas · Pablo Barceló · Juan Reutter

    Add to Reading List

    Source URL: web.ing.puc.cl

    Language: English - Date: 2013-04-26 05:57:03
    49Model theory / Database theory / Conjunctive query / Modal logic / Null / Structure / Kripke semantics / FO / Closed world assumption / Logic / Mathematics / Mathematical logic

    When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin

    Add to Reading List

    Source URL: www.sirangelo.info

    Language: English - Date: 2013-04-16 03:57:08
    50Constraint programming / Relational model / Conjunctive query / Database theory / SQL / Matching / FO / Relational algebra / Decomposition method / Theoretical computer science / Computing / Computational complexity theory

    PDF Document

    Add to Reading List

    Source URL: www.cs.technion.ac.il

    Language: English - Date: 2013-07-05 10:27:28
    UPDATE